Utilisateur:Mhon/Démonstration Stampacchia

Une page de Wikipédia, l'encyclopédie libre.

Énoncé[modifier | modifier le code]

Soient :

  • un espace de Hilbert muni de son produit scalaire noté
  • une partie convexe fermée non-vide de
  • une forme bilinéaire qui est
    • continue sur  : 
    • coercive sur  : 
  • une forme linéaire continue sur .

Sous ces conditions, il existe un unique de tel que :

.

Si de plus la forme bilinéaire est symétrique, alors il existe un unique de qui minimise la fonctionnelle définie par pour tout de , c'est-à-dire :

Démonstration[modifier | modifier le code]

Cas général[modifier | modifier le code]

Par application du théorème de Riesz sur les formes linéaires, il existe un unique tel que pour tout .

Pour tout , l'application est une forme linéaire continue sur et donc de la même manière, il existe un unique élément tel que pour tout . On montre facilement que l'opérateur ainsi défini est un endomorphisme linéaire sur .

Par la continuité de , il existe une constante telle que , d'où

.

Avec ces éléments, la relation s'écrit de manière équivalente :

Pour tout réel strictement positif, c'est également équivalent à :

En utilisant le projection sur un convexe fermé, on a de manière équivalente :

est l'opérateur de projection sur . Ainsi, pour prouver le théorème, il suffit de montrer qu'il existe un unique qui vérifie l'équation de point fixe où l'application est définie par .

Pour cela, montrons que est une application contractante. Soient et deux éléments de . Comme l'opérateur de projection est 1-lipschitzienne, on a

D'où

Comme la forme bilinéaire est coervice, on a . Par ailleurs, en utilisant la relation , on a l'inégalité . Par conséquent

L'application est contractante si et seulement si , c'est-à-dire si on a . En choisissant un tel et en utilisant le théorème de point fixe de Picard, on montre qu'il existe effectivement un unique tel que , ce qui conclut la démonstration.

Cas symétrique[modifier | modifier le code]

Si la forme bilinéaire symétrique, on montre facilement qu'elle définit un produit scalaire sur . La coercivité implique que est définie et positive. On note par ce produit scalaire qui est défini par :

Par application du théorème de Riesz sur les formes linéaires, il existe un unique tel que pour tout .

La relation s'écrit alors de manière équivalente :

En utilisant le projection sur un convexe fermé, on a de manière équivalente :

est l'opérateur de projection sur utilisant le produit scalaire défini par . La relation est donc équivalente à :

soit encore

ou bien

, ce qui conclut la démonstration.

Applications[modifier | modifier le code]